(check (= (* 2 2 2) 8))
